a Theory - PDFSEARCH.IO - Document Search Engine

a Theory
Results: 34070

#	Item
741	Braid Floer Homology on Surfaces David van der Giessen a thesis submitted to the Department of Mathematics at Utrecht University and VU University in partial fulfillment of the requirements for the degree of Master of Ma Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2016-07-15 07:23:49 Differential topology Theoretical physics Topology Symplectic geometry Symplectic topology Homology theory Morse theory Hamiltonian mechanics Floer homology Morse homology Symplectic manifold Homology
742	Earthquake Sources Figure 7.1 Mathematical idealization of an “earthquake fault.” In this case we have an elastic material in which we induce a shear strain inside a tabular body. The opposing surfaces of the tabula Add to Reading List Source URL: www.its.caltech.edu Language: English - Date: 2010-02-22 22:05:58 Solid mechanics Mathematical analysis Elasticity Physics Mathematics Dirac delta function Infinitesimal strain theory Linear elasticity Deformation
743	Categorematic Unreducible Polyadic Quantifiers in Lexical Resource Semantics Frank Richter Goethe Universität Frankfurt a.M. HeadLex 2016, Warsaw Add to Reading List Source URL: nlp.ipipan.waw.pl Language: English - Date: 2016-07-24 19:55:04 Quantification Logic Semantics Abstraction Predicate logic Finite model theory Philosophical logic Quantifier Universal quantification FO
744	Drift Analysis A Tool for Analysing Randomised Search Heuristics1 Per Kristian Lehre ASAP Research Group School of Computer Science Add to Reading List Source URL: staffwww.dcs.shef.ac.uk Language: English - Date: 2014-04-25 12:10:39 Probability theory Mathematical analysis Probability Mathematics Probability axioms Event Sigma-algebra Stochastic process Martingale Markov chain Probability space
745	A SURVEY OF THE MATHEMATICS OF MAPS Marvin White Application Mathematics Research Staff U.S. Bureau of the Census Overview Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 23:21:04 Topology Mathematics Algebra Algebraic topology Topological spaces Combinatorics CW complex Homotopy theory Homology Poincar duality Duality Homeomorphism
746	This template contains a style sheet followed by Cartography and Geographic Information Science (CaGIS) Add to Reading List Source URL: www.cartogis.org Language: English - Date: 2012-11-06 14:48:14 Scientific modeling Simulation Operations research Software Systems science Complex systems theory Agent-based model Discrete event simulation Scientific modelling Multi-agent system AnyLogic System-level simulation
747	Identifying a Suitable Control Group Based on Microeconomic Theory: The Case of Escrows in the Subprime Market Add to Reading List Source URL: cmepr.gmu.edu Language: English - Date: 2014-07-04 10:21:34 Economy Finance Money Great Recession Presidency of Barack Obama Systemic risk Mortgage-backed security Subprime mortgage crisis Mortgage loan Escrow Financial crisis of 20072008 Consumer Financial Protection Bureau
748	PDF Document Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2014-09-02 05:38:08 Algebra Abstract algebra Mathematics Scheme theory Ring theory Algebraic varieties Commutative algebra Spectrum of a ring Algebraic geometry Noncommutative geometry Zariski topology Representation theory
749	Krein’s Strings, the Symmetric Moment Problem, and Extending a Real Positive Definite Function URI KEICH California Institute of Technology Abstract The symmetric moment problem is to find a possibly unique, positive s Add to Reading List Source URL: www.maths.usyd.edu.au Language: English - Date: 1999-10-18 14:35:21 Mathematical analysis Mathematics Fourier analysis Digital signal processing Dirac delta function Measure theory Fourier transform Holomorphic functional calculus Differential forms on a Riemann surface
750	A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi Add to Reading List Source URL: www.di.univaq.it Language: English - Date: 2011-02-08 09:50:34 Mathematical logic Software engineering Theoretical computer science Type theory Computability theory Logic in computer science Proof assistants Logic for Computable Functions HOL Lambda calculus Primitive recursive function Recursion

UPDATE